翻訳と辞書 Words near each other ・ STV (TV station) ・ STV AS ・ Stutter bisimulation ・ Stutter edit ・ Stutter Rap (No Sleep til Bedtime) ・ Stutter step ・ Stutterfly ・ Stutterheim ・ Stutterheim Provincial Hospital ・ Stutterheim Raincoats ・ Stuttering ・ Stuttering (Don't Say) ・ Stuttering (Fefe Dobson song) ・ Stuttering (Loick Essien song) ・ Stuttering Center of Western Pennsylvania ・ Stuttering equivalence ・ Stuttering Foundation of America ・ Stuttering frog ・ Stuttering in popular culture ・ Stuttering therapy ・ Stuttflog Glacier ・ Stuttfloget Cliff ・ Stuttgart ・ Stuttgart (disambiguation) ・ Stuttgart (region) ・ Stuttgart (soil) ・ Stuttgart 21 ・ Stuttgart Airport ・ Stuttgart American High School ・ Stuttgart Army Airfield (Arkansas) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Stuttering equivalence ： ウィキペディア英語版 Stuttering equivalence In theoretical computer science, stuttering equivalence, a relation written as :$\backslash pi\backslash sim\_\backslash pi\text{'}$, can be seen as a partitioning of path $\backslash pi$ and $\backslash pi\text{'}$ into blocks, so that states in the $k^\}$ block of the other path. Corresponding blocks may have different lengths. Formally, this can be expressed as two infinite paths $\backslash pi=s\_0,\; s\_1,\; \backslash ldots$ and $\backslash pi\text{'}=r\_0,\; r\_1,\; \backslash ldots$ which are stuttering equivalent ($\backslash pi\; \backslash sim\_\; \backslash pi\text{'}$) if there are two infinite sequences of integers and such that for every block $k\; \backslash geq\; 0$ holds $L(s\_)\; =\; L(s\_)\; =\; \backslash ldots\; =\; L(s\_)\; =\; L(r\_)\; =\; L(r\_)\; =\; \backslash ldots\; =\; L(r\_)$. Stuttering equivalence is not the same as bisimulation, since bisimulation cannot capture the semantics of the 'eventually' (or 'finally') operator found in linear temporal/computation tree logic(branching time logic)(modal logic). So-called ''branching bisimulation'' has to be used. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Stuttering equivalence」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.